You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 121 - 160 hits of 1035. Search took 0.00 seconds.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

Search results for coq :

Filename	Distribution	File size
coq-ide-server-debuginfo-8.16.1-1.mga9.armv7hl.rpm	Mageia 9	37 kB
coq-ide-server-debuginfo-8.16.1-1.mga9.aarch64.rpm	Mageia Cauldron	37 kB
coq-ide-server-debuginfo-8.16.1-1.mga9.aarch64.rpm	Mageia 9	37 kB
coq-ide-server-8.16.1-1.mga9.x86_64.rpm	Mageia Cauldron	789 kB	Info
coq-ide-server-8.16.1-1.mga9.x86_64.rpm	Mageia 9	789 kB	Info
coq-ide-server-8.16.1-1.mga9.i586.rpm	Mageia Cauldron	781 kB	Info
coq-ide-server-8.16.1-1.mga9.i586.rpm	Mageia 9	781 kB	Info
coq-ide-server-8.16.1-1.mga9.armv7hl.rpm	Mageia Cauldron	791 kB
coq-ide-server-8.16.1-1.mga9.armv7hl.rpm	Mageia 9	791 kB
coq-ide-server-8.16.1-1.mga9.aarch64.rpm	Mageia Cauldron	798 kB
coq-ide-server-8.16.1-1.mga9.aarch64.rpm	Mageia 9	798 kB
coq-ide-debuginfo-8.20.0-1.1.x86_64.rpm	OpenSuSE	3188 kB
coq-ide-debuginfo-8.20.0-1.1.x86_64.rpm	openSUSE Tumbleweed	3188 kB
coq-ide-debuginfo-8.20.0-1.1.i586.rpm	openSUSE Tumbleweed	3064 kB
coq-ide-debuginfo-8.19.2-1.2.x86_64.rpm	OpenSuSE	3462 kB
coq-ide-debuginfo-8.19.2-1.1.x86_64.rpm	OpenSuSE	3447 kB
coq-ide-debuginfo-8.19.1-bp156.1.14.x86_64.rpm	OpenSuSE	3098 kB
coq-ide-debuginfo-8.19.1-bp156.1.14.s390x.rpm	OpenSuSE	2132 kB
coq-ide-debuginfo-8.19.1-bp156.1.14.ppc64le.rpm	OpenSuSE	2668 kB
coq-ide-debuginfo-8.19.1-bp156.1.14.aarch64.rpm	OpenSuSE	3028 kB
coq-ide-debuginfo-8.16.1-1.mga9.x86_64.rpm	Mageia Cauldron	3558 kB	Info
coq-ide-debuginfo-8.16.1-1.mga9.x86_64.rpm	Mageia 9	3558 kB	Info
coq-ide-debuginfo-8.16.1-1.mga9.i586.rpm	Mageia Cauldron	3371 kB	Info
coq-ide-debuginfo-8.16.1-1.mga9.i586.rpm	Mageia 9	3371 kB	Info
coq-ide-debuginfo-8.16.1-1.mga9.armv7hl.rpm	Mageia Cauldron	3158 kB
coq-ide-debuginfo-8.16.1-1.mga9.armv7hl.rpm	Mageia 9	3158 kB
coq-ide-debuginfo-8.16.1-1.mga9.aarch64.rpm	Mageia Cauldron	3441 kB
coq-ide-debuginfo-8.16.1-1.mga9.aarch64.rpm	Mageia 9	3441 kB
coq-ide-debuginfo-8.13.2-bp155.2.13.x86_64.rpm	OpenSuSE	2107 kB
coq-ide-debuginfo-8.13.2-bp155.2.13.s390x.rpm	OpenSuSE	1615 kB
coq-ide-debuginfo-8.13.2-bp155.2.13.ppc64le.rpm	OpenSuSE	1922 kB
coq-ide-debuginfo-8.13.2-bp155.2.13.aarch64.rpm	OpenSuSE	2148 kB
coq-ide-8.3pl3-1mdv2010.2.x86_64.rpm	Mandriva 2010	4463 kB
coq-ide-8.3pl3-1mdv2010.2.i586.rpm	Mandriva 2010	4148 kB	Info
coq-ide-8.3pl3-1-mdv2012.0.x86_64.rpm	Mandrake Other	4381 kB
coq-ide-8.3pl3-1-mdv2012.0.i586.rpm	Mandrake Other	4084 kB	Info
coq-ide-8.3pl3-1-mdv2011.0.x86_64.rpm	Mandriva 2011	4388 kB
coq-ide-8.3pl3-1-mdv2011.0.i586.rpm	Mandriva 2011	4069 kB	Info
coq-ide-8.3-3mdv2011.0.x86_64.rpm	Mandriva 2011	4473 kB
coq-ide-8.3-3mdv2011.0.i586.rpm	Mandriva 2011	4130 kB	Info

1

2

3

4

5

6

7

8

9

10

11

12

13

14